Бурдонов И. Б. , Косачев А. С. «СЕМАНТИКИ ВЗАИМОДЕЙСТВИЯ С ОТКАЗАМИ, ДИВЕРГЕНЦИЕЙИ РАЗРУШЕНИЕМ. ЧАСТЬ 1. ГИПОТЕЗА О БЕЗОПАСНОСТИИ БЕЗОПАСНАЯ КОНФОРМНОСТЬ» // Вестник ТГУ. УВТиИ. 2010. №4(13) C.124-133
Стефанцов Д. А. , Жуковская А. О. «Операционная семантика ЛЯПАСа» // Прикладная дискретная математика. Приложение 2015. №8 C.131-132